Towards Compliance Checking between Business Process Models and Lawful States of Objects

We address the existing gap between business process models and lawful states of business objects. This gap hinders compliance of business process models with internally and externally imposed regulations. Existing modelling methods such as BPMN and ArchiMate lack an explicitly declarative approach for capturing flow of business objects, their states and laws of state transitions. Such deficiency can cost organization potential legal problems, make the ability of BPMN and ArchiMate to capture real-world phenomena questionable and drive modellers to employ additional standards. This paper proposes a formalized solution for closing the gap between business process models and states of business objects by using BWW model. Our approach includes means for explicit definition of states of business objects, automatic generation of conceivable state space at a process model design-time, and automatic generation of lawful state space and compliance checking at a process